Intuitionistic Fixed Point Theories for Strictly Positive Operators
نویسندگان
چکیده
In this paper it is shown that the intuitionistic fixed point theory ÎD i α(strict) for α times iterated fixed points of strictly positive operator forms is conservative for negative arithmetic and Π2 sentences over the theory ACA−i α for α times iterated arithmetic comprehension without set parameters. This generalizes results previously due to Buchholz [5] and Arai [2].
منابع مشابه
Strong convergence theorem for finite family of m-accretive operators in Banach spaces
The purpose of this paper is to propose a compositeiterative scheme for approximating a common solution for a finitefamily of m-accretive operators in a strictly convex Banach spacehaving a uniformly Gateaux differentiable norm. As a consequence,the strong convergence of the scheme for a common fixed point ofa finite family of pseudocontractive mappings is also obtained.
متن کاملDefinable fixed points in modal and temporal logics : A survey
The paper presents a survey of author’s results on definable fixed points in modal, temporal, and intuitionistic propositional logics. The well-known Fixed Point Theorem considers the modalized case, but here we investigate the positive case. We give a classification of fixed point theorems, describe some classes of models with definable least fixed points of positive operators, special positiv...
متن کاملA common fixed point theorem for weakly compatible maps satisfying common property (E:A:) and implicit relation in intuitionistic fuzzy metric spaces
In this paper, employing the common property ($E.A$), we prove a common fixed theorem for weakly compatible mappings via an implicit relation in Intuitionistic fuzzy metric space. Our results generalize the results of S. Kumar [S. Kumar, {it Common fixed point theorems in Intuitionistic fuzzy metric spaces using property (E.A)}, J. Indian Math. Soc., 76 (1-4) (2009), 94--103] and C. Alaca et al...
متن کاملFIXED POINT THEOREM ON INTUITIONISTIC FUZZY METRIC SPACES
In this paper, we introduce intuitionistic fuzzy contraction mappingand prove a fixed point theorem in intuitionistic fuzzy metric spaces.
متن کاملFixed point theorem for mappings satisfying contractive condition of integral type on intuitionistic fuzzy metric space
In this paper, we shall establish some fixed point theorems for mappings with the contractive condition of integrable type on complete intuitionistic fuzzy metric spaces $(X, M,N,*,lozenge)$. We also use Lebesgue-integrable mapping to obtain new results. Akram, Zafar, and Siddiqui introduced the notion of $A$-contraction mapping on metric space. In this paper by using the main idea of the work...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Math. Log. Q.
دوره 48 شماره
صفحات -
تاریخ انتشار 2002